From: Sebastian Keller Date: Thu, 4 Feb 2021 01:22:22 +0000 (+0100) Subject: theme: Scale media player button padding with font size X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~616^2^2~468 X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=0f46a1d650de71967dcf1591c145fc760014e8a0;p=gnome-shell.git theme: Scale media player button padding with font size The total width of the MediaMessage scales with the font size, but the padding of the media player buttons do not, which can become an issue with text-scaling-factor < 1. https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/3664 Part-of: --- diff --git a/data/theme/gnome-shell-sass/widgets/_message-list.scss b/data/theme/gnome-shell-sass/widgets/_message-list.scss index 45edb26b2..02d122b91 100644 --- a/data/theme/gnome-shell-sass/widgets/_message-list.scss +++ b/data/theme/gnome-shell-sass/widgets/_message-list.scss @@ -99,7 +99,7 @@ /* Media Controls */ .message-media-control { - padding: $base_padding * 2 $base_padding * 4; + padding: $base_padding * 2 1.64em; // $base_padding * 4 = 24px color: darken($fg_color, 15%); // uses $hover_bg_color since the media controls are in a notification_bubble